Randal E. Bryant (auth.): որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (11)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Bernhard Steffen (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

PDF, 3.04 MB

0 / 0

english, 1998

2

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 6.53 MB

0 / 0

english, 2004

3

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 11.05 MB

0 / 0

english, 2004

4

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Pierre Wolper (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

DJVU, 4.32 MB

0 / 0

english, 1995

5

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

Randal E. Bryant, James H. Kukula (auth.), Andreas Kuehlmann (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 36.96 MB

0 / 0

english, 2003

6

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 11.79 MB

0 / 0

english, 2004

7

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Frank Pfenning (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 4.02 MB

0 / 0

english, 2006

8

Third Caltech Conference on Very Large Scale Integration

Third Caltech Conference on Very Large Scale Integration

Springer-Verlag Berlin Heidelberg

Egon Hörbst, Gerd Sandweg, Stefan Wallstab (auth.), Randal Bryant (eds.)

Տարի:

1983

Լեզու:

english

Ֆայլ:

PDF, 17.01 MB

0 / 0

english, 1983

9

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 5.75 MB

0 / 0

english, 1999

10

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 13.67 MB

0 / 0

english, 1999

11

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Frank Pfenning (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 3.76 MB

0 / 0

english, 2006